package exceptions.semantic;

public class ParameterRedefinitionException extends SemanticException {
	private int linea;
	private String parametro;
	public ParameterRedefinitionException(int l, String param) {
		linea = l;
		parametro = param;
	}
	
	public String getMessage(){
		return ("ParameterRedefinitionException: Error Semantico! "+parametro+" Detalle: El parametro del metodo redefinido tiene distinto tipo. - Linea: "+linea);
	}

}
